台球运动中计算主球进攻方向的精确模型及实用方法

在台球比赛中,如何提高目标球的落袋概率是一个最基本的问题.事实上,该问题等价于计算主球的最佳进攻路线问题,为此,给出了三点一线碰撞模型.由该模型衍生出的虚拟球训练法简单易行,同时适用于短距离和长距离进攻,能够快速提升初级台球选手的击球水平.     

理工科学生英语学习策略分析与实践探析

通过对理工科学生的英语学习策略的调查,得出以下结论：（1）理工科学生英语学习策略的使用情况总体不令人满意;（2）认知策略较之元认知策略和社交/情感策略被更多使用;（3）男生和女生使用英语学习策略有差异;（4）高分者与低分者在策略使用上存在差异.并据此提出教学建议.     

兰州文理学院社会体育专业培养方案改革探析

基于对兰州文理学院社会体育专业培养方案的分析结果,探讨了社会体育专业根据社会需求和就业导向合理设置课程的必要性,以及培养学生具有较高专业素质和熟练专业技能的教学改革措施。研究结果表明,社会体育专业学生的培养应紧密结合社会需求和学校办学定位,以培养技能型和实际应用型人才为导向,并进一步加强特色课程建设。基于研究结果和结合具体教学实践,提出了提升社会体育专业学生综合素质和能力的教学改革思路与建议。     

Dark matter,the Equivalence Principle and modified gravity

Dark matter (DM) is an essential ingredient of the present Standard Cosmological Model, according to which only 5% of the mass/energy content of our universe is made of ordinary matter. In recent times, it has been argued that certain cases of gravitational lensing represent a new type of evidence for the existence of DM. In a recent paper, Peter Kosso attempts to substantiate that claim. His argument is that, although in such cases DM is only detected by its gravitational effects, gravitational lensing is a direct consequence of Einstein's Equivalence Principle (EEP) and therefore the complete gravitational theory is not needed in order to derive such lensing effects. In this paper I critically examine Kosso's argument: I confront the notion of empirical evidence involved in the discussion and argue that EEP does not have enough power by itself to sustain the claim that gravitational lensing in the Bullet Cluster constitutes evidence for the DM Hypothesis. As a consequence of this, it is necessary to examine the details of alternative theories of gravity to decide whether certain empirical situations are indeed evidence for the existence of DM. It may well be correct that gravitational lensing does constitute evidence for the DM Hypothesis—at present it is controversial whether the proposed modifications of gravitation all need DM to account for the phenomenon of gravitational lensing and if so, of which kind—but this will not be a direct consequence of EEP.     

An efficient identity-based key agreement protocol in a multiple PKG environment

Identity-based key agreement protocol affords a natural way to combine the participant’s identity with its public key.However,most of them just consider the key agreement in a single private key generator(PKG)environment.In addition,the existing key agreement protocols have a great computing overhead for mobile computing which is more and more popular today.This paper proposes a new identity based key agreement protocol.With the help of mathematical tools,we make our protocol applied in multiple PKG environment.It also satisfies all the security properties which is set for key agreement protocol.Moreover,some of its time-consuming operations can be delivered to untrusted public computation resources,so its computing complexity can be greatly reduced.     

任务型教学法在民族高校大学英语教学中的重要作用

民族高校的地缘和生源特点等诸多因素,决定了教师在开展大学英语教学过程中必须采用适合自身特点的教学模式和教学策略。任务型教学法从学生的基本心理需求出发,强调用语言做事,注重学生交际能力的培养,符合大学英语现行的培养目标。从分析任务型教学法的特点以及任务型教学实践入手,阐述了任务型教学法在民族高校大学英语教学中的重要作用。     

On the empirical equivalence between special relativity and Lorentz׳s ether theory

In this paper I argue that the case of Einstein׳s special relativity vs. Hendrik Lorentz׳s ether theory can be decided in terms of empirical evidence, in spite of the predictive equivalence between the theories. In the historical and philosophical literature this case has been typically addressed focusing on non-empirical features (non-empirical virtues in special relativity and/or non-empirical flaws in the ether theory). I claim that non-empirical features are not enough to provide a fully objective and uniquely determined choice in instances of empirical equivalence. However, I argue that if we consider arguments proposed by Richard Boyd, and by Larry Laudan and Jarret Leplin, a choice based on non-entailed empirical evidence favoring Einstein׳s theory can be made.     

云计算环境中SBS应用动态资源分配方法

建立了一个SBS（基于服务的系统，service based system）应用端到端性能评价模型，并在该模型的基础上提出了SBS应用动态资源分配方法，该方法通过将静态的初始资源分配和动态的资源分配方案调整相结合，能够适应用户访问行为的动态变化，保证SBS应用端到端性能. 在SBS应用动态资源分配问题求解中，提出了服务吞吐量约束确定算法并在此基础上 给出了SBS应用动态资源分配算法，该算法根据SBS应用吞吐量约束确定服务资源需求量并在此基础上通过起始服务 到服务间的转移时间计算服务的资源分配时刻，从而能够在保证SBS应用端到端性能约束的同时提高资源利用率. 实验验证了所提出的基于SBS应用端到端性能评价模型的动态资源分配方法的有效性.     

跨国技术授权选择及社会福利分析

引入进口国关税,基于外国企业与进口国企业的古诺数量竞争结构,考察不同技术授权模式对外国企业利润和进口国社会福利影响,形成跨国环境下的技术授权机制分析.研究表明:固定收费方式对外国企业利润具有不确定性,但可能损害进口国社会福利;特许权收费方式增加了外国企业利润,但却在一定条件下损害了进口国社会福利;双重收费方式同时增加了外国企业利润和进口国社会福利,实现企业目标和社会目标的一致;关税水平较高时,双重收费方式可以特化为固定收费方式.     

一种基于不确定度的证据冲突识别方法

从高度冲突证据对D-S证据理论的应用约束出发,针对几种常用冲突度量方法存在的问题,定义了描述证据自身特征的不确定度,将证据冲突涵义从证据间不一致扩展到证据内外,给出基于不确定度的证据冲突多元度量,并为增强冲突的识别效果提出最大差异度的冲突处理方法.验证分析得出:本文给出的度量方法能够有效表征证据间的冲突程度,最大冲突差异度的处理实现了证据冲突识别的显著化,在证据冲突度量与识别中具有很好的普适性和有效性.